"Per Martin-Löf" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (Editors)

Категория: Математика, Математическая логика

2.56 Mb

#2

The Martin Beck series - Roseanna

Maj Sjowall, Per Wahloo

209 Kb

#3

The Martin Beck series - The Man on the Balcony

Maj Sjowall, Per Wahloo

196 Kb

#4

The Martin Beck series - The Man Who Went Up in Smoke

Maj Sjöwall, Per Wahlöö

205 Kb

#5

Publizistische Freiheit und Persönlichkeitsschutz: Zu den Grenzen der Verwertbarkeit realer Biografien

Marc-Oliver Martin

Категория: Биология, Биофизика

1.35 Mb

#6

Per una storia della geofisica italiana. La nascita dell'Istituto Nazionale di Geofisica (1936) e la figura di Antonino Lo Surdo

Franco Foresta Martin, Geppi Calcara

3.98 Mb

#7

Reichsbischof Ludwig Müller. Eine Untersuchung zu Leben, Werk und Persönlichkeit (Arbeiten zur kirchlichen Zeitgeschichte, Reihe B: Darstellungen, Band 19)

Thomas Martin Schneider

13.15 Mb

#8

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Löf

645 Kb

#9

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Lof

2.35 Mb

#10

Handbook of Risk Theory: Epistemology, Decision Theory, Ethics, and Social Implications of Risk

Rafaela Hillerbrand (Editor), Per Sandin (Editor), Martin Peterson (Editor), Sabine Roeser (Editor)

9.75 Mb

#11

Sjowall, Maj & Wahloo, Per - Martin Beck 02 - The Man on the Balcony 1.0

Sjowall Maj

335 Kb

#12

Epistemology versus Ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof

Editors: P Dybjer, S Lindstrom, E Palmgren and G Sundholm

Категория: Philosophy of mathematics, mathematical logic

33.02 Mb

#13

An intuitionistic type theory

Категория: Mathematical logic

473 Kb

#14

Intuitionistic type theory

Per Martin-Lof

318 Kb

#15

Truth and Knowability, on the principles C and K of MIcheal Dummett

Категория: Philosophy

4.32 Mb